Artifact for the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verification"

Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verification". The artifact is contained inside a Virtualbox VM image (Ubuntu 20.04 LTS) that is adapted from the TACAS 2022 Artifact Evaluation VM by Swen Jacobs and Andrew Reynolds. The artifact is located at the directory /home/cav23/artifact-168 Please refer to the README.md file located in the same directory for instructions on how to reproduce our results from the paper and how to repurpose the included tools for other user cases. License We provide the license for our artifact below, which is Attribution 4.0 International (CC BY 4.0) Important note regarding license Since the artifact packages additional tools and benchmarks, some directories have further licences, which might be different than the license stated on Zenodo; however, they all allow the download, distribution and evaluation of this artifact for the purpose of artifact evaluation. (They are in fact all more permissive than only this, but please refer to individual licenses for details before using the artifact for other purposes than what is stated here.) In particular, the tools in `/tools` and `/output_tools` and `/run_tests/svcomp_tests` have individual licences, as described in respective subdirectories. Also, the licence for SeaHorn can be found within its docker image inside the VM, e.g., by running docker in interactive mode (`docker run -it seahorn/seahorn-llvm10:nightly`) and then licences can be found under `~/seahorn/share/doc/seahorn`. We release our own scripts to reproduce the results on the same license as stated on Zenodo. SHA256 hash of cav23artifact.zip: f7fc5fa7928cf65d25305e34868b6e4166ebb09c70b5a1448a0ac8e25aa24e4